Farkas' lemma